Involving deduction of theories from facts.
(of a constructed language) Developed on a basis of languages which already exist.
In a manner that deduces theories from facts.